Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·10h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My Experience with the Scott Logic Graduate Training
blog.scottlogic.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
This “smart coach” helps LLMs switch between text and code
news.mit.edu·7h
💻Local LLMs
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Turing, Wagner, Ruth
blog.computationalcomplexity.org·16h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Rethinking Distributed Computing for the AI Era
cacm.acm.org·16h
⚡Incremental Computation
Good binding data is all you need
leashbio.substack.com·11h·
Discuss: Substack
🗂️Vector Databases
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
A PhD's Apology
cappadokes.github.io·22h·
Discuss: Hacker News
🧮Theoretical Computer Science
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Almost Always Auto (2013)
herbsutter.com·1h·
Discuss: Hacker News
🔒Type Safety
A Rust shaped hole
ente.io·3d
🦀Rust Macros
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
How AI Detects Cancer in Whole Slide Images
hackernoon.com·16h
🧠Machine Learning